categorical semantics

The structural semantics of architecture models are described within typed category diagrams, and the behavioral semantics are represented by process traces affiliated to the categorical framework, and the mapping relations between component models are formally described by morphisms and functors of category theory.

模型的结构语义由类型范畴图表来指代，行为语义则由范畴附带的进程行为迹来表示，模型间的映射关系用范畴理论中的态射和函子来形式化描述。

互联网摘选

Hence we propose a kind of structure postulates about the movement of categorical positions, and form a particular Categorical Type Logic-Multi-Modal Logic with constrains on accessible relations in possible world semantics.

因此，给出关于范畴位置移动的结构公设，构成特定的范畴类型逻辑系统，即多样模态逻辑，并给该系统的可能世界语义学的可通达关系确立相应的限制条件。

互联网摘选